Higher-order functions - PDFSEARCH.IO - Document Search Engine

Higher-order functions
Results: 290

#	Item
81	http://wedesoft.de/downloads/cambridge2014.pdf Fundamentals of Computing c 2014 Jan Wedekind, Digital Science Add to Reading List Source URL: www.wedesoft.de Language: English Computing Higher-order functions Computability theory Theoretical computer science Church encoding Scheme Fold Binary lambda calculus Lambda calculus Software engineering Declarative programming
82	From Variadic Functions to Variadic Relations A miniKanren Perspective William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:33 Higher-order functions Fold Recursion Variadic function Functional programming FO Function Arity Append Software engineering Computing Computer programming
83	Sneaking Around concatMap Efficient Combinators for Dynamic Programming Christian H¨oner zu Siederdissen Institute for Theoretical Chemistry, University of Vienna, 1090 Wien, Austria Add to Reading List Source URL: www.tbi.univie.ac.at Language: English - Date: 2012-07-04 05:49:20 Higher-order functions Lambda calculus Functional programming Recursion Procedural programming languages Combinatory logic Fold Dynamic programming Map Software engineering Computing Computer programming
84	Lightweight Fusion by Fixed Point Promotion ∗ (the author’s version) Isao Sasano † Atsushi Ohori Add to Reading List Source URL: www.sic.shibaura-it.ac.jp Language: English - Date: 2008-10-23 00:04:30 Higher-order functions Recursion Functions and mappings Computability theory Fold Lambda calculus Map Function Antiderivative Mathematics Mathematical analysis Computing
85	DRAFT of March 29, 2013 Wellfounded Recursion with Copatterns A Unified Approach to Termination and Productivity Andreas Abel Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2013-03-29 16:40:42 Recursion Programming idioms Theoretical computer science Higher-order functions Self-reference Fold Corecursion Map Pattern matching Computer programming Software engineering Computing
86	Pandoc filter exercises 1. Write a filter that capitalizes all regular text in a document, leaving alone URLs and link titles. 2. Write a filter that promotes all level 2 headers to level 1, level 3 to level 2, etc. 3. W Add to Reading List Source URL: johnmacfarlane.net Language: English Lightweight markup languages Markdown Notetaking PGF/TikZ Higher-order functions LaTeX Filter Append Python Computing Software engineering Computer programming
87	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-09-12 20:06:31 Lisp programming language Functional programming Data types Higher-order functions Cons Scheme programming language Append CAR and CDR Scheme Software engineering Computing Computer programming
88	The mLite Language Nils M Holm, 2014 mLite is a general-pur pose, functional, lightweight, dynamic programming language. It borrows ideas from both the Scheme [R4RS] and Standard ML [DEFSML] languages, taking most of its Add to Reading List Source URL: www.t3x.org Language: English - Date: 2014-11-16 10:27:37 Functional programming Lambda calculus Higher-order functions Functional languages Data types Standard ML Anonymous function Pattern matching Monad Software engineering Declarative programming Computer programming
89	Rendering Tetrahedral Meshes with Higher-Order Attenuation Functions for Digital Radiograph Reconstruction Ofri Sadowsky Jonathan D. Cohen Add to Reading List Source URL: www.cs.jhu.edu Language: English - Date: 2005-08-05 17:14:28 Computer graphics Barycentric coordinate system Rasterisation Shader Simplex Polygon Vertex Tetrahedron Tessellation Geometry 3D computer graphics Imaging
90	Mining opportunities for unique inhabitants in dependent programs Gabriel Scherer, PhD Student under supervision of Didier R´emy Gallium – INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-09-29 11:09:42 Programming language theory Data types Formal methods Theoretical computer science Higher-order functions Type system Dependent type Lambda calculus Gallium Software engineering Computing Type theory

UPDATE